node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
link(1,16) :- #0.82.
link(16,1) :- #0.892.
link(1,32) :- #0.283.
link(32,1) :- #0.093.
link(1,36) :- #0.666.
link(36,1) :- #0.399.
link(1,55) :- #0.561.
link(55,1) :- #0.249.
link(1,61) :- #0.959.
link(61,1) :- #0.431.
link(1,72) :- #0.636.
link(72,1) :- #0.11.
link(1,86) :- #0.562.
link(86,1) :- #0.487.
link(1,101) :- #0.308.
link(101,1) :- #0.423.
link(1,107) :- #0.808.
link(107,1) :- #0.17.
link(1,121) :- #0.868.
link(121,1) :- #0.042.
link(2,7) :- #0.342.
link(7,2) :- #0.165.
link(2,12) :- #0.857.
link(12,2) :- #0.143.
link(2,18) :- #0.334.
link(18,2) :- #0.374.
link(2,24) :- #0.325.
link(24,2) :- #0.481.
link(2,30) :- #0.695.
link(30,2) :- #0.564.
link(2,44) :- #0.701.
link(44,2) :- #0.704.
link(2,50) :- #0.078.
link(50,2) :- #0.671.
link(2,51) :- #0.926.
link(51,2) :- #0.998.
link(2,63) :- #0.686.
link(63,2) :- #0.204.
link(2,70) :- #0.74.
link(70,2) :- #0.023.
link(2,85) :- #0.875.
link(85,2) :- #0.58.
link(2,106) :- #0.483.
link(106,2) :- #0.082.
link(2,110) :- #0.309.
link(110,2) :- #0.375.
link(2,111) :- #0.57.
link(111,2) :- #0.166.
link(2,115) :- #0.939.
link(115,2) :- #0.415.
link(2,119) :- #0.989.
link(119,2) :- #0.503.
link(3,7) :- #0.457.
link(7,3) :- #0.564.
link(3,33) :- #0.133.
link(33,3) :- #0.842.
link(3,41) :- #0.375.
link(41,3) :- #0.502.
link(3,56) :- #0.635.
link(56,3) :- #0.025.
link(3,86) :- #0.52.
link(86,3) :- #0.655.
link(3,88) :- #0.194.
link(88,3) :- #0.941.
link(3,90) :- #0.248.
link(90,3) :- #0.423.
link(3,120) :- #0.011.
link(120,3) :- #0.148.
link(3,123) :- #0.974.
link(123,3) :- #0.891.
link(3,139) :- #0.963.
link(139,3) :- #0.987.
link(4,10) :- #0.717.
link(10,4) :- #0.001.
link(4,28) :- #0.214.
link(28,4) :- #0.761.
link(4,30) :- #0.271.
link(30,4) :- #0.625.
link(4,32) :- #0.186.
link(32,4) :- #0.307.
link(4,33) :- #0.622.
link(33,4) :- #0.054.
link(4,40) :- #0.579.
link(40,4) :- #0.385.
link(4,45) :- #0.289.
link(45,4) :- #0.678.
link(4,49) :- #0.217.
link(49,4) :- #0.606.
link(4,58) :- #0.113.
link(58,4) :- #0.494.
link(4,73) :- #0.368.
link(73,4) :- #0.996.
link(4,95) :- #0.407.
link(95,4) :- #0.748.
link(4,103) :- #0.881.
link(103,4) :- #0.599.
link(4,107) :- #0.589.
link(107,4) :- #0.244.
link(4,109) :- #0.013.
link(109,4) :- #0.221.
link(4,114) :- #0.992.
link(114,4) :- #0.664.
link(4,118) :- #0.452.
link(118,4) :- #0.306.
link(4,119) :- #0.227.
link(119,4) :- #0.561.
link(4,130) :- #0.471.
link(130,4) :- #0.122.
link(5,8) :- #0.712.
link(8,5) :- #0.456.
link(5,14) :- #0.664.
link(14,5) :- #0.665.
link(5,16) :- #0.886.
link(16,5) :- #0.79.
link(5,24) :- #0.814.
link(24,5) :- #0.619.
link(5,36) :- #0.638.
link(36,5) :- #0.12.
link(5,43) :- #0.528.
link(43,5) :- #0.107.
link(5,48) :- #0.988.
link(48,5) :- #0.269.
link(5,92) :- #0.436.
link(92,5) :- #0.097.
link(5,99) :- #0.527.
link(99,5) :- #0.731.
link(5,107) :- #0.609.
link(107,5) :- #0.855.
link(5,115) :- #0.296.
link(115,5) :- #0.1.
link(5,127) :- #0.172.
link(127,5) :- #0.656.
link(5,135) :- #0.027.
link(135,5) :- #0.986.
link(5,136) :- #0.58.
link(136,5) :- #0.782.
link(6,11) :- #0.133.
link(11,6) :- #0.759.
link(6,78) :- #0.153.
link(78,6) :- #0.971.
link(6,87) :- #0.817.
link(87,6) :- #0.613.
link(6,89) :- #0.098.
link(89,6) :- #0.803.
link(6,92) :- #0.726.
link(92,6) :- #0.068.
link(6,123) :- #0.481.
link(123,6) :- #0.774.
link(6,139) :- #0.831.
link(139,6) :- #0.087.
link(6,140) :- #0.493.
link(140,6) :- #0.959.
link(7,25) :- #0.792.
link(25,7) :- #0.884.
link(7,26) :- #0.634.
link(26,7) :- #0.49.
link(7,29) :- #0.796.
link(29,7) :- #0.987.
link(7,50) :- #0.295.
link(50,7) :- #0.509.
link(7,52) :- #0.435.
link(52,7) :- #0.975.
link(7,53) :- #0.076.
link(53,7) :- #0.671.
link(7,80) :- #0.303.
link(80,7) :- #0.901.
link(7,96) :- #0.417.
link(96,7) :- #0.619.
link(7,105) :- #0.662.
link(105,7) :- #0.923.
link(7,108) :- #0.707.
link(108,7) :- #0.485.
link(7,120) :- #0.464.
link(120,7) :- #0.259.
link(7,131) :- #0.63.
link(131,7) :- #0.465.
link(8,18) :- #0.601.
link(18,8) :- #0.597.
link(8,27) :- #0.647.
link(27,8) :- #0.661.
link(8,37) :- #0.059.
link(37,8) :- #0.593.
link(8,38) :- #0.073.
link(38,8) :- #0.858.
link(8,58) :- #0.564.
link(58,8) :- #0.668.
link(8,62) :- #0.328.
link(62,8) :- #0.973.
link(8,63) :- #0.693.
link(63,8) :- #0.751.
link(8,69) :- #0.69.
link(69,8) :- #0.844.
link(8,73) :- #0.641.
link(73,8) :- #0.898.
link(8,79) :- #0.037.
link(79,8) :- #0.567.
link(8,100) :- #0.169.
link(100,8) :- #0.302.
link(8,103) :- #0.881.
link(103,8) :- #0.054.
link(8,108) :- #0.448.
link(108,8) :- #0.41.
link(8,125) :- #0.851.
link(125,8) :- #0.165.
link(8,132) :- #0.697.
link(132,8) :- #0.927.
link(9,24) :- #0.147.
link(24,9) :- #0.988.
link(9,34) :- #0.963.
link(34,9) :- #0.006.
link(9,41) :- #0.377.
link(41,9) :- #0.46.
link(9,46) :- #0.048.
link(46,9) :- #0.891.
link(9,52) :- #0.172.
link(52,9) :- #0.814.
link(9,111) :- #0.134.
link(111,9) :- #0.613.
link(9,114) :- #0.834.
link(114,9) :- #0.829.
link(9,115) :- #0.024.
link(115,9) :- #0.789.
link(9,130) :- #0.638.
link(130,9) :- #0.717.
link(9,139) :- #0.089.
link(139,9) :- #0.349.
link(9,140) :- #0.774.
link(140,9) :- #0.813.
link(10,11) :- #0.878.
link(11,10) :- #0.638.
link(10,44) :- #0.011.
link(44,10) :- #0.322.
link(10,69) :- #0.34.
link(69,10) :- #0.311.
link(10,73) :- #0.217.
link(73,10) :- #0.694.
link(10,76) :- #0.415.
link(76,10) :- #0.043.
link(10,79) :- #0.72.
link(79,10) :- #0.193.
link(10,81) :- #0.297.
link(81,10) :- #0.129.
link(10,87) :- #0.999.
link(87,10) :- #0.889.
link(10,88) :- #0.563.
link(88,10) :- #0.592.
link(10,93) :- #0.394.
link(93,10) :- #0.984.
link(10,103) :- #0.814.
link(103,10) :- #0.514.
link(10,110) :- #0.954.
link(110,10) :- #0.829.
link(10,126) :- #0.151.
link(126,10) :- #0.885.
link(10,127) :- #0.317.
link(127,10) :- #0.367.
link(10,133) :- #0.237.
link(133,10) :- #0.544.
link(11,16) :- #0.889.
link(16,11) :- #0.42.
link(11,17) :- #0.439.
link(17,11) :- #0.562.
link(11,25) :- #0.843.
link(25,11) :- #0.477.
link(11,63) :- #0.596.
link(63,11) :- #0.157.
link(11,98) :- #0.422.
link(98,11) :- #0.211.
link(11,108) :- #0.76.
link(108,11) :- #0.507.
link(11,131) :- #0.279.
link(131,11) :- #0.237.
link(11,133) :- #0.181.
link(133,11) :- #0.411.
link(11,134) :- #0.421.
link(134,11) :- #0.906.
link(11,139) :- #0.241.
link(139,11) :- #0.968.
link(12,14) :- #0.667.
link(14,12) :- #0.601.
link(12,15) :- #0.731.
link(15,12) :- #0.371.
link(12,20) :- #0.206.
link(20,12) :- #0.894.
link(12,22) :- #0.173.
link(22,12) :- #0.653.
link(12,65) :- #0.972.
link(65,12) :- #0.444.
link(12,67) :- #0.832.
link(67,12) :- #0.101.
link(12,71) :- #0.654.
link(71,12) :- #0.093.
link(12,75) :- #0.055.
link(75,12) :- #0.02.
link(12,80) :- #0.407.
link(80,12) :- #0.554.
link(12,88) :- #0.976.
link(88,12) :- #0.131.
link(12,89) :- #0.07.
link(89,12) :- #0.494.
link(12,104) :- #0.721.
link(104,12) :- #0.854.
link(12,124) :- #0.025.
link(124,12) :- #0.945.
link(12,127) :- #0.875.
link(127,12) :- #0.954.
link(13,24) :- #0.007.
link(24,13) :- #0.446.
link(13,25) :- #0.254.
link(25,13) :- #0.952.
link(13,30) :- #0.238.
link(30,13) :- #0.501.
link(13,36) :- #0.3.
link(36,13) :- #0.536.
link(13,38) :- #0.219.
link(38,13) :- #0.92.
link(13,43) :- #0.567.
link(43,13) :- #0.158.
link(13,79) :- #0.637.
link(79,13) :- #0.769.
link(13,93) :- #0.691.
link(93,13) :- #0.578.
link(13,118) :- #0.586.
link(118,13) :- #0.682.
link(13,128) :- #0.644.
link(128,13) :- #0.285.
link(13,132) :- #0.339.
link(132,13) :- #0.587.
link(13,137) :- #0.231.
link(137,13) :- #0.286.
link(14,21) :- #0.168.
link(21,14) :- #0.547.
link(14,22) :- #0.438.
link(22,14) :- #0.472.
link(14,29) :- #0.086.
link(29,14) :- #0.116.
link(14,33) :- #0.914.
link(33,14) :- #0.687.
link(14,41) :- #0.491.
link(41,14) :- #0.693.
link(14,50) :- #0.316.
link(50,14) :- #0.331.
link(14,60) :- #0.519.
link(60,14) :- #0.746.
link(14,72) :- #0.351.
link(72,14) :- #0.12.
link(14,75) :- #0.805.
link(75,14) :- #0.266.
link(14,78) :- #0.785.
link(78,14) :- #0.859.
link(14,113) :- #0.34.
link(113,14) :- #0.303.
link(14,122) :- #0.749.
link(122,14) :- #0.4.
link(14,126) :- #0.339.
link(126,14) :- #0.402.
link(14,137) :- #0.942.
link(137,14) :- #0.43.
link(15,29) :- #0.594.
link(29,15) :- #0.964.
link(15,35) :- #0.486.
link(35,15) :- #0.262.
link(15,59) :- #0.481.
link(59,15) :- #0.109.
link(15,61) :- #0.713.
link(61,15) :- #0.384.
link(15,70) :- #0.903.
link(70,15) :- #0.295.
link(15,74) :- #0.235.
link(74,15) :- #0.158.
link(15,90) :- #0.447.
link(90,15) :- #0.39.
link(15,101) :- #0.504.
link(101,15) :- #0.621.
link(15,112) :- #0.307.
link(112,15) :- #0.847.
link(15,115) :- #0.394.
link(115,15) :- #0.153.
link(15,117) :- #0.209.
link(117,15) :- #0.392.
link(15,127) :- #0.31.
link(127,15) :- #0.364.
link(15,136) :- #0.304.
link(136,15) :- #0.854.
link(16,21) :- #0.878.
link(21,16) :- #0.656.
link(16,33) :- #0.38.
link(33,16) :- #0.349.
link(16,43) :- #0.685.
link(43,16) :- #0.739.
link(16,51) :- #0.79.
link(51,16) :- #0.643.
link(16,71) :- #0.01.
link(71,16) :- #0.01.
link(16,72) :- #0.303.
link(72,16) :- #0.558.
link(16,75) :- #0.232.
link(75,16) :- #0.107.
link(16,91) :- #0.861.
link(91,16) :- #0.525.
link(16,128) :- #0.317.
link(128,16) :- #0.471.
link(17,19) :- #0.819.
link(19,17) :- #0.678.
link(17,32) :- #0.427.
link(32,17) :- #0.144.
link(17,40) :- #0.86.
link(40,17) :- #0.086.
link(17,50) :- #0.528.
link(50,17) :- #0.993.
link(17,58) :- #0.036.
link(58,17) :- #0.17.
link(17,69) :- #0.662.
link(69,17) :- #0.506.
link(17,71) :- #0.628.
link(71,17) :- #0.997.
link(17,72) :- #0.974.
link(72,17) :- #0.279.
link(17,88) :- #0.976.
link(88,17) :- #0.797.
link(17,93) :- #0.376.
link(93,17) :- #0.566.
link(17,109) :- #0.647.
link(109,17) :- #0.7.
link(17,115) :- #0.894.
link(115,17) :- #0.018.
link(17,119) :- #0.158.
link(119,17) :- #0.74.
link(17,120) :- #0.994.
link(120,17) :- #0.068.
link(17,127) :- #0.654.
link(127,17) :- #0.566.
link(17,133) :- #0.837.
link(133,17) :- #0.834.
link(18,20) :- #0.983.
link(20,18) :- #0.979.
link(18,25) :- #0.218.
link(25,18) :- #0.789.
link(18,27) :- #0.34.
link(27,18) :- #0.43.
link(18,40) :- #0.498.
link(40,18) :- #0.497.
link(18,58) :- #0.346.
link(58,18) :- #0.344.
link(18,71) :- #0.873.
link(71,18) :- #0.232.
link(18,101) :- #0.964.
link(101,18) :- #0.719.
link(18,123) :- #0.817.
link(123,18) :- #0.106.
link(19,23) :- #0.983.
link(23,19) :- #0.784.
link(19,26) :- #0.132.
link(26,19) :- #0.131.
link(19,36) :- #0.056.
link(36,19) :- #0.739.
link(19,48) :- #0.114.
link(48,19) :- #0.546.
link(19,52) :- #0.926.
link(52,19) :- #0.198.
link(19,54) :- #0.44.
link(54,19) :- #0.087.
link(19,57) :- #0.893.
link(57,19) :- #0.089.
link(19,58) :- #0.355.
link(58,19) :- #0.251.
link(19,62) :- #0.877.
link(62,19) :- #0.403.
link(19,77) :- #0.86.
link(77,19) :- #0.971.
link(19,82) :- #0.119.
link(82,19) :- #0.548.
link(19,101) :- #0.397.
link(101,19) :- #0.44.
link(19,116) :- #0.439.
link(116,19) :- #0.658.
link(19,131) :- #0.905.
link(131,19) :- #0.808.
link(19,136) :- #0.678.
link(136,19) :- #0.284.
link(20,25) :- #0.194.
link(25,20) :- #0.314.
link(20,30) :- #0.926.
link(30,20) :- #0.475.
link(20,63) :- #0.118.
link(63,20) :- #0.759.
link(20,66) :- #0.248.
link(66,20) :- #0.641.
link(20,78) :- #0.487.
link(78,20) :- #0.358.
link(20,80) :- #0.898.
link(80,20) :- #0.316.
link(20,96) :- #0.801.
link(96,20) :- #0.437.
link(20,108) :- #0.447.
link(108,20) :- #0.343.
link(20,112) :- #0.507.
link(112,20) :- #0.83.
link(20,125) :- #0.673.
link(125,20) :- #0.201.
link(20,126) :- #0.348.
link(126,20) :- #0.274.
link(20,135) :- #0.445.
link(135,20) :- #0.425.
link(21,31) :- #0.508.
link(31,21) :- #0.69.
link(21,47) :- #0.801.
link(47,21) :- #0.142.
link(21,62) :- #0.54.
link(62,21) :- #0.843.
link(21,71) :- #0.
link(71,21) :- #0.828.
link(21,80) :- #0.795.
link(80,21) :- #0.735.
link(21,81) :- #0.889.
link(81,21) :- #0.818.
link(21,83) :- #0.051.
link(83,21) :- #0.059.
link(21,92) :- #0.584.
link(92,21) :- #0.163.
link(21,97) :- #0.032.
link(97,21) :- #0.461.
link(21,100) :- #0.248.
link(100,21) :- #0.871.
link(21,103) :- #0.139.
link(103,21) :- #0.954.
link(21,109) :- #0.026.
link(109,21) :- #0.797.
link(21,117) :- #0.231.
link(117,21) :- #0.233.
link(21,121) :- #0.501.
link(121,21) :- #0.747.
link(21,126) :- #0.174.
link(126,21) :- #0.292.
link(22,25) :- #0.98.
link(25,22) :- #0.07.
link(22,35) :- #0.794.
link(35,22) :- #0.635.
link(22,54) :- #0.731.
link(54,22) :- #0.054.
link(22,99) :- #0.212.
link(99,22) :- #0.627.
link(22,110) :- #0.659.
link(110,22) :- #0.17.
link(22,112) :- #0.385.
link(112,22) :- #0.554.
link(22,124) :- #0.704.
link(124,22) :- #0.985.
link(22,126) :- #0.304.
link(126,22) :- #0.545.
link(23,28) :- #0.457.
link(28,23) :- #0.886.
link(23,45) :- #0.214.
link(45,23) :- #0.351.
link(23,71) :- #0.44.
link(71,23) :- #0.495.
link(23,99) :- #0.609.
link(99,23) :- #0.726.
link(23,105) :- #0.499.
link(105,23) :- #0.245.
link(23,121) :- #0.499.
link(121,23) :- #0.74.
link(23,123) :- #0.726.
link(123,23) :- #0.556.
link(23,125) :- #0.655.
link(125,23) :- #0.157.
link(24,29) :- #0.686.
link(29,24) :- #0.825.
link(24,37) :- #0.531.
link(37,24) :- #0.367.
link(24,38) :- #0.153.
link(38,24) :- #0.987.
link(24,46) :- #0.307.
link(46,24) :- #0.289.
link(24,57) :- #0.515.
link(57,24) :- #0.347.
link(24,72) :- #0.734.
link(72,24) :- #0.881.
link(24,101) :- #0.937.
link(101,24) :- #0.09.
link(24,110) :- #0.076.
link(110,24) :- #0.201.
link(24,124) :- #0.804.
link(124,24) :- #0.007.
link(25,32) :- #0.589.
link(32,25) :- #0.254.
link(25,37) :- #0.06.
link(37,25) :- #0.552.
link(25,54) :- #0.416.
link(54,25) :- #0.845.
link(25,59) :- #0.456.
link(59,25) :- #0.897.
link(25,71) :- #0.077.
link(71,25) :- #0.457.
link(25,78) :- #0.273.
link(78,25) :- #0.839.
link(25,108) :- #0.584.
link(108,25) :- #0.26.
link(25,129) :- #0.592.
link(129,25) :- #0.772.
link(25,140) :- #0.587.
link(140,25) :- #0.118.
link(26,27) :- #0.086.
link(27,26) :- #0.634.
link(26,46) :- #0.417.
link(46,26) :- #0.266.
link(26,48) :- #0.672.
link(48,26) :- #0.372.
link(26,49) :- #0.822.
link(49,26) :- #0.704.
link(26,75) :- #0.176.
link(75,26) :- #0.704.
link(26,76) :- #0.149.
link(76,26) :- #0.485.
link(26,85) :- #0.733.
link(85,26) :- #0.485.
link(26,87) :- #0.341.
link(87,26) :- #0.885.
link(26,89) :- #0.563.
link(89,26) :- #0.916.
link(26,91) :- #0.989.
link(91,26) :- #0.721.
link(26,97) :- #0.499.
link(97,26) :- #0.934.
link(26,98) :- #0.804.
link(98,26) :- #0.145.
link(26,109) :- #0.505.
link(109,26) :- #0.089.
link(26,110) :- #0.72.
link(110,26) :- #0.664.
link(26,126) :- #0.91.
link(126,26) :- #0.735.
link(26,135) :- #0.848.
link(135,26) :- #0.449.
link(27,29) :- #0.306.
link(29,27) :- #0.719.
link(27,30) :- #0.047.
link(30,27) :- #0.595.
link(27,52) :- #0.579.
link(52,27) :- #0.718.
link(27,78) :- #0.817.
link(78,27) :- #0.723.
link(27,79) :- #0.127.
link(79,27) :- #0.644.
link(27,81) :- #0.735.
link(81,27) :- #0.271.
link(27,96) :- #0.77.
link(96,27) :- #0.028.
link(28,37) :- #0.219.
link(37,28) :- #0.194.
link(28,40) :- #0.462.
link(40,28) :- #0.169.
link(28,58) :- #0.851.
link(58,28) :- #0.47.
link(28,62) :- #0.783.
link(62,28) :- #0.037.
link(28,70) :- #0.884.
link(70,28) :- #0.173.
link(28,76) :- #0.151.
link(76,28) :- #0.211.
link(28,78) :- #0.603.
link(78,28) :- #0.709.
link(28,101) :- #0.024.
link(101,28) :- #0.382.
link(28,106) :- #0.277.
link(106,28) :- #0.696.
link(28,115) :- #0.674.
link(115,28) :- #0.574.
link(28,119) :- #0.288.
link(119,28) :- #0.512.
link(28,138) :- #0.623.
link(138,28) :- #0.017.
link(29,44) :- #0.315.
link(44,29) :- #0.556.
link(29,50) :- #0.998.
link(50,29) :- #0.554.
link(29,52) :- #0.891.
link(52,29) :- #0.239.
link(29,88) :- #0.204.
link(88,29) :- #0.429.
link(29,89) :- #0.357.
link(89,29) :- #0.631.
link(29,97) :- #0.43.
link(97,29) :- #0.7.
link(29,99) :- #0.712.
link(99,29) :- #0.862.
link(29,104) :- #0.286.
link(104,29) :- #0.391.
link(29,124) :- #0.709.
link(124,29) :- #0.112.
link(29,127) :- #0.783.
link(127,29) :- #0.673.
link(30,51) :- #0.209.
link(51,30) :- #0.302.
link(30,62) :- #0.835.
link(62,30) :- #0.923.
link(30,107) :- #0.134.
link(107,30) :- #0.169.
link(30,113) :- #0.644.
link(113,30) :- #0.891.
link(30,116) :- #0.935.
link(116,30) :- #0.88.
link(30,131) :- #0.709.
link(131,30) :- #0.49.
link(31,39) :- #0.357.
link(39,31) :- #0.835.
link(31,52) :- #0.694.
link(52,31) :- #0.772.
link(31,66) :- #0.028.
link(66,31) :- #0.205.
link(31,72) :- #0.061.
link(72,31) :- #0.757.
link(31,80) :- #0.501.
link(80,31) :- #0.405.
link(31,82) :- #0.833.
link(82,31) :- #0.222.
link(31,88) :- #0.248.
link(88,31) :- #0.339.
link(31,96) :- #0.317.
link(96,31) :- #0.656.
link(31,101) :- #0.689.
link(101,31) :- #0.448.
link(31,129) :- #0.348.
link(129,31) :- #0.209.
link(31,131) :- #0.928.
link(131,31) :- #0.411.
link(31,135) :- #0.975.
link(135,31) :- #0.906.
link(31,138) :- #0.828.
link(138,31) :- #0.598.
link(32,34) :- #0.446.
link(34,32) :- #0.128.
link(32,58) :- #0.571.
link(58,32) :- #0.921.
link(32,60) :- #0.329.
link(60,32) :- #0.595.
link(32,67) :- #0.712.
link(67,32) :- #0.668.
link(32,74) :- #0.309.
link(74,32) :- #0.974.
link(32,87) :- #0.996.
link(87,32) :- #0.886.
link(32,97) :- #0.185.
link(97,32) :- #0.883.
link(32,110) :- #0.123.
link(110,32) :- #0.253.
link(32,111) :- #0.192.
link(111,32) :- #0.197.
link(33,39) :- #0.108.
link(39,33) :- #0.598.
link(33,62) :- #0.774.
link(62,33) :- #0.422.
link(33,67) :- #0.609.
link(67,33) :- #0.931.
link(33,83) :- #0.246.
link(83,33) :- #0.54.
link(33,86) :- #0.384.
link(86,33) :- #0.238.
link(33,96) :- #0.381.
link(96,33) :- #0.615.
link(33,108) :- #0.921.
link(108,33) :- #0.346.
link(33,110) :- #0.444.
link(110,33) :- #0.075.
link(33,117) :- #0.109.
link(117,33) :- #0.773.
link(33,121) :- #0.616.
link(121,33) :- #0.399.
link(33,123) :- #0.925.
link(123,33) :- #0.991.
link(34,40) :- #0.418.
link(40,34) :- #0.113.
link(34,43) :- #0.25.
link(43,34) :- #0.615.
link(34,49) :- #0.925.
link(49,34) :- #0.863.
link(34,50) :- #0.933.
link(50,34) :- #0.208.
link(34,61) :- #0.058.
link(61,34) :- #0.666.
link(34,65) :- #0.614.
link(65,34) :- #0.241.
link(34,72) :- #0.625.
link(72,34) :- #0.623.
link(34,76) :- #0.007.
link(76,34) :- #0.044.
link(34,94) :- #0.463.
link(94,34) :- #0.646.
link(34,101) :- #0.578.
link(101,34) :- #0.589.
link(34,110) :- #0.731.
link(110,34) :- #0.555.
link(34,114) :- #0.769.
link(114,34) :- #0.866.
link(34,115) :- #0.172.
link(115,34) :- #0.077.
link(34,125) :- #0.281.
link(125,34) :- #0.36.
link(34,129) :- #0.891.
link(129,34) :- #0.17.
link(34,132) :- #0.644.
link(132,34) :- #0.293.
link(34,135) :- #0.674.
link(135,34) :- #0.137.
link(35,41) :- #0.606.
link(41,35) :- #0.493.
link(35,45) :- #0.952.
link(45,35) :- #0.668.
link(35,46) :- #0.28.
link(46,35) :- #0.873.
link(35,51) :- #0.834.
link(51,35) :- #0.994.
link(35,65) :- #0.672.
link(65,35) :- #0.99.
link(35,66) :- #0.134.
link(66,35) :- #0.434.
link(35,68) :- #0.063.
link(68,35) :- #0.112.
link(35,71) :- #0.25.
link(71,35) :- #0.062.
link(35,75) :- #0.867.
link(75,35) :- #0.938.
link(35,88) :- #0.252.
link(88,35) :- #0.546.
link(35,109) :- #0.315.
link(109,35) :- #0.911.
link(35,118) :- #0.539.
link(118,35) :- #0.428.
link(35,130) :- #0.597.
link(130,35) :- #0.078.
link(36,38) :- #0.192.
link(38,36) :- #0.696.
link(36,49) :- #0.713.
link(49,36) :- #0.221.
link(36,55) :- #0.197.
link(55,36) :- #0.992.
link(36,58) :- #0.066.
link(58,36) :- #0.482.
link(36,69) :- #0.672.
link(69,36) :- #0.759.
link(36,74) :- #0.957.
link(74,36) :- #0.702.
link(36,79) :- #0.998.
link(79,36) :- #0.03.
link(36,101) :- #0.394.
link(101,36) :- #0.969.
link(36,108) :- #0.333.
link(108,36) :- #0.135.
link(36,115) :- #0.518.
link(115,36) :- #0.53.
link(36,120) :- #0.86.
link(120,36) :- #0.713.
link(36,129) :- #0.28.
link(129,36) :- #0.674.
link(36,130) :- #0.375.
link(130,36) :- #0.91.
link(36,139) :- #0.524.
link(139,36) :- #0.01.
link(37,40) :- #0.724.
link(40,37) :- #0.411.
link(37,45) :- #0.248.
link(45,37) :- #0.799.
link(37,61) :- #0.3.
link(61,37) :- #0.825.
link(37,67) :- #0.525.
link(67,37) :- #0.564.
link(37,71) :- #0.277.
link(71,37) :- #0.418.
link(37,87) :- #0.239.
link(87,37) :- #0.941.
link(37,88) :- #0.763.
link(88,37) :- #0.005.
link(37,100) :- #0.895.
link(100,37) :- #0.779.
link(37,101) :- #0.275.
link(101,37) :- #0.161.
link(37,103) :- #0.919.
link(103,37) :- #0.558.
link(37,106) :- #0.214.
link(106,37) :- #0.447.
link(37,108) :- #0.106.
link(108,37) :- #0.626.
link(37,118) :- #0.826.
link(118,37) :- #0.787.
link(37,132) :- #0.652.
link(132,37) :- #0.049.
link(38,40) :- #0.771.
link(40,38) :- #0.255.
link(38,43) :- #0.961.
link(43,38) :- #0.679.
link(38,53) :- #0.227.
link(53,38) :- #0.507.
link(38,63) :- #0.48.
link(63,38) :- #0.689.
link(38,68) :- #0.745.
link(68,38) :- #0.726.
link(38,87) :- #0.164.
link(87,38) :- #0.117.
link(38,91) :- #0.861.
link(91,38) :- #0.018.
link(38,98) :- #0.834.
link(98,38) :- #0.103.
link(38,102) :- #0.322.
link(102,38) :- #0.464.
link(38,108) :- #0.247.
link(108,38) :- #0.605.
link(38,112) :- #0.215.
link(112,38) :- #0.798.
link(38,123) :- #0.95.
link(123,38) :- #0.3.
link(38,138) :- #0.181.
link(138,38) :- #0.85.
link(38,140) :- #0.003.
link(140,38) :- #0.653.
link(39,50) :- #0.299.
link(50,39) :- #0.135.
link(39,55) :- #0.109.
link(55,39) :- #0.312.
link(39,56) :- #0.24.
link(56,39) :- #0.356.
link(39,60) :- #0.013.
link(60,39) :- #0.906.
link(39,89) :- #0.616.
link(89,39) :- #0.267.
link(39,90) :- #0.911.
link(90,39) :- #0.348.
link(39,94) :- #0.307.
link(94,39) :- #0.375.
link(39,96) :- #0.794.
link(96,39) :- #0.921.
link(39,99) :- #0.361.
link(99,39) :- #0.122.
link(39,102) :- #0.741.
link(102,39) :- #0.993.
link(39,113) :- #0.125.
link(113,39) :- #0.492.
link(39,123) :- #0.375.
link(123,39) :- #0.389.
link(39,128) :- #0.714.
link(128,39) :- #0.753.
link(39,130) :- #0.491.
link(130,39) :- #0.391.
link(39,134) :- #0.221.
link(134,39) :- #0.36.
link(40,42) :- #0.807.
link(42,40) :- #0.402.
link(40,83) :- #0.932.
link(83,40) :- #0.718.
link(40,117) :- #0.368.
link(117,40) :- #0.533.
link(40,119) :- #0.964.
link(119,40) :- #0.636.
link(40,120) :- #0.259.
link(120,40) :- #0.373.
link(40,128) :- #0.432.
link(128,40) :- #0.331.
link(40,134) :- #0.316.
link(134,40) :- #0.756.
link(40,136) :- #0.496.
link(136,40) :- #0.759.
link(40,137) :- #0.84.
link(137,40) :- #0.388.
link(40,139) :- #0.241.
link(139,40) :- #0.929.
link(41,54) :- #0.188.
link(54,41) :- #0.287.
link(41,55) :- #0.5.
link(55,41) :- #0.715.
link(41,62) :- #0.227.
link(62,41) :- #0.339.
link(41,67) :- #0.947.
link(67,41) :- #0.035.
link(41,88) :- #0.295.
link(88,41) :- #0.221.
link(41,100) :- #0.324.
link(100,41) :- #0.289.
link(41,102) :- #0.523.
link(102,41) :- #0.956.
link(41,105) :- #0.814.
link(105,41) :- #0.577.
link(41,112) :- #0.377.
link(112,41) :- #0.625.
link(41,122) :- #0.625.
link(122,41) :- #0.744.
link(41,134) :- #0.484.
link(134,41) :- #0.945.
link(42,56) :- #0.786.
link(56,42) :- #0.122.
link(42,57) :- #0.361.
link(57,42) :- #0.549.
link(42,68) :- #0.534.
link(68,42) :- #0.313.
link(42,74) :- #0.417.
link(74,42) :- #0.795.
link(42,76) :- #0.923.
link(76,42) :- #0.444.
link(42,80) :- #0.486.
link(80,42) :- #0.614.
link(42,84) :- #0.316.
link(84,42) :- #0.342.
link(42,85) :- #0.61.
link(85,42) :- #0.463.
link(42,86) :- #0.233.
link(86,42) :- #0.56.
link(42,99) :- #0.516.
link(99,42) :- #0.494.
link(42,100) :- #0.642.
link(100,42) :- #0.47.
link(42,105) :- #0.081.
link(105,42) :- #0.063.
link(42,126) :- #0.961.
link(126,42) :- #0.846.
link(42,129) :- #0.79.
link(129,42) :- #0.049.
link(42,131) :- #0.888.
link(131,42) :- #0.731.
link(43,48) :- #0.831.
link(48,43) :- #0.902.
link(43,65) :- #0.118.
link(65,43) :- #0.692.
link(43,66) :- #0.803.
link(66,43) :- #0.098.
link(43,68) :- #0.312.
link(68,43) :- #0.066.
link(43,70) :- #0.546.
link(70,43) :- #0.668.
link(43,77) :- #0.484.
link(77,43) :- #0.685.
link(43,80) :- #0.853.
link(80,43) :- #0.8.
link(43,97) :- #0.581.
link(97,43) :- #0.326.
link(43,127) :- #0.856.
link(127,43) :- #0.368.
link(43,138) :- #0.33.
link(138,43) :- #0.26.
link(44,51) :- #0.071.
link(51,44) :- #0.406.
link(44,57) :- #0.88.
link(57,44) :- #0.466.
link(44,60) :- #0.86.
link(60,44) :- #0.645.
link(44,81) :- #0.846.
link(81,44) :- #0.301.
link(44,83) :- #0.766.
link(83,44) :- #0.718.
link(44,84) :- #0.745.
link(84,44) :- #0.32.
link(44,110) :- #0.609.
link(110,44) :- #0.434.
link(44,117) :- #0.638.
link(117,44) :- #0.229.
link(44,122) :- #0.636.
link(122,44) :- #0.916.
link(44,130) :- #0.841.
link(130,44) :- #0.02.
link(44,135) :- #0.63.
link(135,44) :- #0.536.
link(45,46) :- #0.655.
link(46,45) :- #0.694.
link(45,51) :- #0.823.
link(51,45) :- #0.547.
link(45,54) :- #0.156.
link(54,45) :- #0.872.
link(45,80) :- #0.383.
link(80,45) :- #0.566.
link(45,82) :- #0.642.
link(82,45) :- #0.111.
link(45,93) :- #0.209.
link(93,45) :- #0.393.
link(45,94) :- #0.429.
link(94,45) :- #0.237.
link(45,96) :- #0.745.
link(96,45) :- #0.928.
link(45,99) :- #0.495.
link(99,45) :- #0.934.
link(45,127) :- #0.606.
link(127,45) :- #0.588.
link(45,130) :- #0.22.
link(130,45) :- #0.782.
link(46,58) :- #0.234.
link(58,46) :- #0.883.
link(46,63) :- #0.945.
link(63,46) :- #0.724.
link(46,64) :- #0.703.
link(64,46) :- #0.87.
link(46,70) :- #0.697.
link(70,46) :- #0.249.
link(46,83) :- #0.701.
link(83,46) :- #0.568.
link(46,87) :- #0.625.
link(87,46) :- #0.814.
link(46,90) :- #0.729.
link(90,46) :- #0.064.
link(46,95) :- #0.085.
link(95,46) :- #0.796.
link(46,127) :- #0.653.
link(127,46) :- #0.784.
link(46,130) :- #0.871.
link(130,46) :- #0.572.
link(46,139) :- #0.782.
link(139,46) :- #0.945.
link(46,140) :- #0.737.
link(140,46) :- #0.791.
link(47,73) :- #0.195.
link(73,47) :- #0.708.
link(47,116) :- #0.619.
link(116,47) :- #0.076.
link(47,117) :- #0.719.
link(117,47) :- #0.44.
link(47,121) :- #0.944.
link(121,47) :- #0.898.
link(47,123) :- #0.824.
link(123,47) :- #0.242.
link(47,130) :- #0.319.
link(130,47) :- #0.303.
link(48,52) :- #0.263.
link(52,48) :- #0.722.
link(48,70) :- #0.938.
link(70,48) :- #0.217.
link(48,76) :- #0.939.
link(76,48) :- #0.592.
link(48,83) :- #0.138.
link(83,48) :- #0.767.
link(48,91) :- #0.779.
link(91,48) :- #0.13.
link(48,94) :- #0.029.
link(94,48) :- #0.231.
link(48,103) :- #0.02.
link(103,48) :- #0.777.
link(48,108) :- #0.578.
link(108,48) :- #0.923.
link(48,110) :- #0.733.
link(110,48) :- #0.988.
link(48,111) :- #0.418.
link(111,48) :- #0.301.
link(48,113) :- #0.832.
link(113,48) :- #0.246.
link(48,123) :- #0.308.
link(123,48) :- #0.545.
link(48,136) :- #0.423.
link(136,48) :- #0.358.
link(49,52) :- #0.085.
link(52,49) :- #0.529.
link(49,56) :- #0.93.
link(56,49) :- #0.413.
link(49,77) :- #0.187.
link(77,49) :- #0.711.
link(49,104) :- #0.009.
link(104,49) :- #0.477.
link(49,121) :- #0.032.
link(121,49) :- #0.824.
link(49,124) :- #0.959.
link(124,49) :- #0.984.
link(49,137) :- #0.4.
link(137,49) :- #0.006.
link(50,59) :- #0.208.
link(59,50) :- #0.103.
link(50,60) :- #0.325.
link(60,50) :- #0.175.
link(50,63) :- #0.976.
link(63,50) :- #0.145.
link(50,64) :- #0.177.
link(64,50) :- #0.029.
link(50,65) :- #0.278.
link(65,50) :- #0.324.
link(50,69) :- #0.601.
link(69,50) :- #0.202.
link(50,72) :- #0.051.
link(72,50) :- #0.283.
link(50,73) :- #0.771.
link(73,50) :- #0.334.
link(50,76) :- #0.076.
link(76,50) :- #0.391.
link(50,80) :- #0.15.
link(80,50) :- #0.278.
link(50,85) :- #0.919.
link(85,50) :- #0.704.
link(50,93) :- #0.266.
link(93,50) :- #0.465.
link(50,94) :- #0.054.
link(94,50) :- #0.046.
link(50,95) :- #0.25.
link(95,50) :- #0.669.
link(50,99) :- #0.366.
link(99,50) :- #0.944.
link(50,110) :- #0.28.
link(110,50) :- #0.86.
link(50,113) :- #0.011.
link(113,50) :- #0.37.
link(50,117) :- #0.149.
link(117,50) :- #0.393.
link(50,127) :- #0.294.
link(127,50) :- #0.653.
link(50,134) :- #0.855.
link(134,50) :- #0.001.
link(51,65) :- #0.306.
link(65,51) :- #0.653.
link(51,68) :- #0.011.
link(68,51) :- #0.75.
link(51,70) :- #0.147.
link(70,51) :- #0.696.
link(51,90) :- #0.625.
link(90,51) :- #0.33.
link(51,93) :- #0.037.
link(93,51) :- #0.916.
link(51,94) :- #0.143.
link(94,51) :- #0.754.
link(51,95) :- #0.497.
link(95,51) :- #0.099.
link(51,98) :- #0.886.
link(98,51) :- #0.155.
link(51,110) :- #0.364.
link(110,51) :- #0.738.
link(51,130) :- #0.066.
link(130,51) :- #0.043.
link(52,67) :- #0.084.
link(67,52) :- #0.651.
link(52,77) :- #0.316.
link(77,52) :- #0.958.
link(52,78) :- #0.759.
link(78,52) :- #0.737.
link(52,102) :- #0.3.
link(102,52) :- #0.167.
link(52,106) :- #0.554.
link(106,52) :- #0.559.
link(52,109) :- #0.919.
link(109,52) :- #0.273.
link(52,111) :- #0.481.
link(111,52) :- #0.645.
link(52,125) :- #0.298.
link(125,52) :- #0.563.
link(52,128) :- #0.467.
link(128,52) :- #0.276.
link(52,137) :- #0.238.
link(137,52) :- #0.575.
link(53,55) :- #0.964.
link(55,53) :- #0.183.
link(53,61) :- #0.588.
link(61,53) :- #0.926.
link(53,67) :- #0.879.
link(67,53) :- #0.765.
link(53,69) :- #0.983.
link(69,53) :- #0.424.
link(53,70) :- #0.151.
link(70,53) :- #0.054.
link(53,71) :- #0.031.
link(71,53) :- #0.138.
link(53,115) :- #0.947.
link(115,53) :- #0.787.
link(53,122) :- #0.015.
link(122,53) :- #0.444.
link(53,124) :- #0.001.
link(124,53) :- #0.261.
link(53,131) :- #0.086.
link(131,53) :- #0.388.
link(53,138) :- #0.579.
link(138,53) :- #0.44.
link(54,61) :- #0.062.
link(61,54) :- #0.59.
link(54,76) :- #0.553.
link(76,54) :- #0.591.
link(54,81) :- #0.098.
link(81,54) :- #0.632.
link(54,84) :- #0.076.
link(84,54) :- #0.13.
link(54,97) :- #0.622.
link(97,54) :- #0.555.
link(54,101) :- #0.941.
link(101,54) :- #0.555.
link(54,104) :- #0.919.
link(104,54) :- #0.084.
link(54,121) :- #0.099.
link(121,54) :- #0.328.
link(55,71) :- #0.269.
link(71,55) :- #0.086.
link(55,81) :- #0.729.
link(81,55) :- #0.305.
link(55,105) :- #0.649.
link(105,55) :- #0.981.
link(55,113) :- #0.069.
link(113,55) :- #0.953.
link(55,132) :- #0.965.
link(132,55) :- #0.47.
link(55,137) :- #0.744.
link(137,55) :- #0.028.
link(56,70) :- #0.841.
link(70,56) :- #0.499.
link(56,82) :- #0.257.
link(82,56) :- #0.025.
link(56,86) :- #0.064.
link(86,56) :- #0.404.
link(56,93) :- #0.372.
link(93,56) :- #0.111.
link(56,95) :- #0.33.
link(95,56) :- #0.302.
link(56,102) :- #0.443.
link(102,56) :- #0.229.
link(56,119) :- #0.377.
link(119,56) :- #0.028.
link(56,139) :- #0.934.
link(139,56) :- #0.944.
link(57,64) :- #0.731.
link(64,57) :- #0.89.
link(57,72) :- #0.975.
link(72,57) :- #0.386.
link(57,76) :- #0.082.
link(76,57) :- #0.923.
link(57,78) :- #0.316.
link(78,57) :- #0.546.
link(57,98) :- #0.729.
link(98,57) :- #0.59.
link(57,113) :- #0.476.
link(113,57) :- #0.454.
link(57,124) :- #0.239.
link(124,57) :- #0.482.
link(57,131) :- #0.512.
link(131,57) :- #0.36.
link(58,63) :- #0.533.
link(63,58) :- #0.787.
link(58,76) :- #0.255.
link(76,58) :- #0.535.
link(58,80) :- #0.411.
link(80,58) :- #0.178.
link(58,97) :- #0.115.
link(97,58) :- #0.436.
link(58,100) :- #0.239.
link(100,58) :- #0.729.
link(58,104) :- #0.65.
link(104,58) :- #0.562.
link(58,105) :- #0.185.
link(105,58) :- #0.886.
link(58,109) :- #0.088.
link(109,58) :- #0.931.
link(58,112) :- #0.389.
link(112,58) :- #0.034.
link(58,119) :- #0.201.
link(119,58) :- #0.793.
link(58,120) :- #0.405.
link(120,58) :- #0.628.
link(58,121) :- #0.304.
link(121,58) :- #0.323.
link(58,122) :- #0.73.
link(122,58) :- #0.857.
link(58,125) :- #0.511.
link(125,58) :- #0.972.
link(58,130) :- #0.598.
link(130,58) :- #0.787.
link(59,70) :- #0.496.
link(70,59) :- #0.98.
link(59,89) :- #0.007.
link(89,59) :- #0.522.
link(59,109) :- #0.134.
link(109,59) :- #0.019.
link(59,110) :- #0.346.
link(110,59) :- #0.107.
link(59,120) :- #0.218.
link(120,59) :- #0.75.
link(59,122) :- #0.67.
link(122,59) :- #0.306.
link(59,125) :- #0.618.
link(125,59) :- #0.439.
link(60,63) :- #0.352.
link(63,60) :- #0.554.
link(60,67) :- #0.347.
link(67,60) :- #0.082.
link(60,72) :- #0.512.
link(72,60) :- #0.978.
link(60,82) :- #0.105.
link(82,60) :- #0.186.
link(60,109) :- #0.567.
link(109,60) :- #0.419.
link(60,131) :- #0.478.
link(131,60) :- #0.743.
link(60,137) :- #0.598.
link(137,60) :- #0.646.
link(61,73) :- #0.507.
link(73,61) :- #0.604.
link(61,82) :- #0.006.
link(82,61) :- #0.902.
link(61,96) :- #0.281.
link(96,61) :- #0.604.
link(61,98) :- #0.325.
link(98,61) :- #0.44.
link(61,101) :- #0.356.
link(101,61) :- #0.2.
link(61,102) :- #0.838.
link(102,61) :- #0.743.
link(61,107) :- #0.509.
link(107,61) :- #0.104.
link(61,129) :- #0.086.
link(129,61) :- #0.567.
link(62,72) :- #0.851.
link(72,62) :- #0.412.
link(62,76) :- #0.911.
link(76,62) :- #0.421.
link(62,90) :- #0.907.
link(90,62) :- #0.953.
link(62,93) :- #0.809.
link(93,62) :- #0.308.
link(62,95) :- #0.531.
link(95,62) :- #0.268.
link(62,106) :- #0.117.
link(106,62) :- #0.809.
link(62,108) :- #0.696.
link(108,62) :- #0.349.
link(62,110) :- #0.588.
link(110,62) :- #0.62.
link(62,128) :- #0.231.
link(128,62) :- #0.799.
link(62,135) :- #0.934.
link(135,62) :- #0.195.
link(62,136) :- #0.65.
link(136,62) :- #0.483.
link(63,65) :- #0.73.
link(65,63) :- #0.08.
link(63,87) :- #0.684.
link(87,63) :- #0.327.
link(63,104) :- #0.988.
link(104,63) :- #0.031.
link(63,105) :- #0.057.
link(105,63) :- #0.393.
link(63,116) :- #0.82.
link(116,63) :- #0.058.
link(63,118) :- #0.206.
link(118,63) :- #0.326.
link(63,119) :- #0.76.
link(119,63) :- #0.808.
link(63,120) :- #0.011.
link(120,63) :- #0.291.
link(63,133) :- #0.784.
link(133,63) :- #0.176.
link(63,140) :- #0.384.
link(140,63) :- #0.348.
link(64,78) :- #0.373.
link(78,64) :- #0.03.
link(64,81) :- #0.526.
link(81,64) :- #0.328.
link(64,96) :- #0.568.
link(96,64) :- #0.288.
link(64,101) :- #0.597.
link(101,64) :- #0.65.
link(64,105) :- #0.971.
link(105,64) :- #0.31.
link(64,117) :- #0.978.
link(117,64) :- #0.383.
link(64,132) :- #0.716.
link(132,64) :- #0.46.
link(64,136) :- #0.479.
link(136,64) :- #0.521.
link(65,68) :- #0.349.
link(68,65) :- #0.257.
link(65,83) :- #0.226.
link(83,65) :- #0.898.
link(65,91) :- #0.065.
link(91,65) :- #0.685.
link(65,99) :- #0.172.
link(99,65) :- #0.002.
link(65,105) :- #0.367.
link(105,65) :- #0.971.
link(65,124) :- #0.561.
link(124,65) :- #0.917.
link(65,136) :- #0.802.
link(136,65) :- #0.345.
link(65,140) :- #0.302.
link(140,65) :- #0.63.
link(66,87) :- #0.148.
link(87,66) :- #0.63.
link(66,95) :- #0.338.
link(95,66) :- #0.515.
link(66,112) :- #0.326.
link(112,66) :- #0.775.
link(66,113) :- #0.146.
link(113,66) :- #0.087.
link(66,125) :- #0.234.
link(125,66) :- #0.868.
link(67,77) :- #0.708.
link(77,67) :- #0.509.
link(67,96) :- #0.713.
link(96,67) :- #0.614.
link(67,115) :- #0.388.
link(115,67) :- #0.137.
link(67,119) :- #0.679.
link(119,67) :- #0.407.
link(67,140) :- #0.428.
link(140,67) :- #0.902.
link(68,69) :- #0.108.
link(69,68) :- #0.033.
link(68,75) :- #0.181.
link(75,68) :- #0.049.
link(68,98) :- #0.513.
link(98,68) :- #0.641.
link(68,111) :- #0.074.
link(111,68) :- #0.812.
link(68,122) :- #0.022.
link(122,68) :- #0.327.
link(68,126) :- #0.987.
link(126,68) :- #0.764.
link(68,135) :- #0.15.
link(135,68) :- #0.716.
link(69,74) :- #0.353.
link(74,69) :- #0.735.
link(69,79) :- #0.352.
link(79,69) :- #0.813.
link(69,84) :- #0.803.
link(84,69) :- #0.436.
link(69,94) :- #0.079.
link(94,69) :- #0.968.
link(69,96) :- #0.4.
link(96,69) :- #0.863.
link(69,99) :- #0.892.
link(99,69) :- #0.458.
link(69,103) :- #0.933.
link(103,69) :- #0.62.
link(69,119) :- #0.618.
link(119,69) :- #0.435.
link(69,130) :- #0.096.
link(130,69) :- #0.86.
link(69,134) :- #0.295.
link(134,69) :- #0.154.
link(70,80) :- #0.427.
link(80,70) :- #0.299.
link(70,93) :- #0.592.
link(93,70) :- #0.594.
link(70,96) :- #0.464.
link(96,70) :- #0.886.
link(70,97) :- #0.689.
link(97,70) :- #0.12.
link(70,127) :- #0.672.
link(127,70) :- #0.138.
link(70,136) :- #0.562.
link(136,70) :- #0.372.
link(70,137) :- #0.155.
link(137,70) :- #0.942.
link(71,73) :- #0.612.
link(73,71) :- #0.461.
link(71,85) :- #0.393.
link(85,71) :- #0.859.
link(72,104) :- #0.615.
link(104,72) :- #0.959.
link(72,118) :- #0.873.
link(118,72) :- #0.557.
link(72,120) :- #0.57.
link(120,72) :- #0.525.
link(72,132) :- #0.486.
link(132,72) :- #0.373.
link(73,83) :- #0.793.
link(83,73) :- #0.936.
link(73,99) :- #0.351.
link(99,73) :- #0.647.
link(73,101) :- #0.242.
link(101,73) :- #0.336.
link(73,109) :- #0.712.
link(109,73) :- #0.379.
link(74,75) :- #0.965.
link(75,74) :- #0.762.
link(74,87) :- #0.156.
link(87,74) :- #0.94.
link(74,92) :- #0.288.
link(92,74) :- #0.047.
link(74,103) :- #0.236.
link(103,74) :- #0.438.
link(74,111) :- #0.296.
link(111,74) :- #0.723.
link(75,78) :- #0.15.
link(78,75) :- #0.691.
link(75,80) :- #0.814.
link(80,75) :- #0.037.
link(75,88) :- #0.433.
link(88,75) :- #0.175.
link(75,90) :- #0.511.
link(90,75) :- #0.009.
link(75,115) :- #0.921.
link(115,75) :- #0.554.
link(75,120) :- #0.746.
link(120,75) :- #0.028.
link(75,125) :- #0.147.
link(125,75) :- #0.12.
link(75,128) :- #0.84.
link(128,75) :- #0.738.
link(75,129) :- #0.888.
link(129,75) :- #0.369.
link(75,130) :- #0.775.
link(130,75) :- #0.338.
link(75,136) :- #0.81.
link(136,75) :- #0.905.
link(76,95) :- #0.854.
link(95,76) :- #0.376.
link(76,100) :- #0.039.
link(100,76) :- #0.324.
link(76,105) :- #0.071.
link(105,76) :- #0.187.
link(76,113) :- #0.463.
link(113,76) :- #0.952.
link(76,120) :- #0.417.
link(120,76) :- #0.167.
link(76,129) :- #0.49.
link(129,76) :- #0.409.
link(76,137) :- #0.66.
link(137,76) :- #0.783.
link(76,138) :- #0.697.
link(138,76) :- #0.559.
link(76,140) :- #0.618.
link(140,76) :- #0.947.
link(77,83) :- #0.118.
link(83,77) :- #0.355.
link(77,100) :- #0.228.
link(100,77) :- #0.785.
link(77,109) :- #0.007.
link(109,77) :- #0.283.
link(77,118) :- #0.866.
link(118,77) :- #0.902.
link(77,135) :- #0.56.
link(135,77) :- #0.235.
link(77,136) :- #0.115.
link(136,77) :- #0.598.
link(78,89) :- #0.848.
link(89,78) :- #0.81.
link(78,113) :- #0.297.
link(113,78) :- #0.643.
link(78,120) :- #0.74.
link(120,78) :- #0.78.
link(78,124) :- #0.433.
link(124,78) :- #0.904.
link(78,125) :- #0.945.
link(125,78) :- #0.131.
link(78,132) :- #0.251.
link(132,78) :- #0.267.
link(78,135) :- #0.95.
link(135,78) :- #0.003.
link(79,92) :- #0.583.
link(92,79) :- #0.748.
link(79,102) :- #0.04.
link(102,79) :- #0.623.
link(79,114) :- #0.874.
link(114,79) :- #0.905.
link(79,115) :- #0.198.
link(115,79) :- #0.133.
link(79,118) :- #0.897.
link(118,79) :- #0.483.
link(79,128) :- #0.317.
link(128,79) :- #0.853.
link(79,131) :- #0.824.
link(131,79) :- #0.624.
link(79,140) :- #0.172.
link(140,79) :- #0.002.
link(80,109) :- #0.8.
link(109,80) :- #0.916.
link(80,111) :- #0.207.
link(111,80) :- #0.301.
link(80,125) :- #0.651.
link(125,80) :- #0.463.
link(81,83) :- #0.737.
link(83,81) :- #0.982.
link(81,88) :- #0.665.
link(88,81) :- #0.98.
link(81,105) :- #0.128.
link(105,81) :- #0.909.
link(81,108) :- #0.666.
link(108,81) :- #0.803.
link(81,123) :- #0.265.
link(123,81) :- #0.264.
link(82,105) :- #0.479.
link(105,82) :- #0.39.
link(82,108) :- #0.
link(108,82) :- #0.366.
link(82,114) :- #0.026.
link(114,82) :- #0.231.
link(82,135) :- #0.518.
link(135,82) :- #0.798.
link(82,137) :- #0.567.
link(137,82) :- #0.796.
link(83,85) :- #0.043.
link(85,83) :- #0.275.
link(83,87) :- #0.321.
link(87,83) :- #0.558.
link(83,90) :- #0.985.
link(90,83) :- #0.485.
link(83,96) :- #0.848.
link(96,83) :- #0.112.
link(83,98) :- #0.449.
link(98,83) :- #0.936.
link(83,111) :- #0.142.
link(111,83) :- #0.675.
link(83,119) :- #0.806.
link(119,83) :- #0.263.
link(83,126) :- #0.559.
link(126,83) :- #0.837.
link(83,128) :- #0.007.
link(128,83) :- #0.265.
link(83,131) :- #0.025.
link(131,83) :- #0.478.
link(83,134) :- #0.422.
link(134,83) :- #0.602.
link(84,94) :- #0.919.
link(94,84) :- #0.41.
link(84,107) :- #0.668.
link(107,84) :- #0.514.
link(84,115) :- #0.643.
link(115,84) :- #0.194.
link(84,125) :- #0.113.
link(125,84) :- #0.515.
link(85,95) :- #0.963.
link(95,85) :- #0.842.
link(85,100) :- #0.317.
link(100,85) :- #0.825.
link(85,101) :- #0.347.
link(101,85) :- #0.045.
link(85,107) :- #0.421.
link(107,85) :- #0.629.
link(85,121) :- #0.647.
link(121,85) :- #0.147.
link(85,125) :- #0.753.
link(125,85) :- #0.343.
link(85,137) :- #0.972.
link(137,85) :- #0.344.
link(86,97) :- #0.293.
link(97,86) :- #0.034.
link(86,104) :- #0.384.
link(104,86) :- #0.361.
link(86,105) :- #0.963.
link(105,86) :- #0.552.
link(86,120) :- #0.324.
link(120,86) :- #0.794.
link(86,130) :- #0.407.
link(130,86) :- #0.591.
link(87,104) :- #0.357.
link(104,87) :- #0.301.
link(87,109) :- #0.325.
link(109,87) :- #0.738.
link(87,118) :- #0.932.
link(118,87) :- #0.974.
link(87,123) :- #0.817.
link(123,87) :- #0.151.
link(87,126) :- #0.318.
link(126,87) :- #0.501.
link(87,127) :- #0.284.
link(127,87) :- #0.005.
link(87,135) :- #0.437.
link(135,87) :- #0.747.
link(88,95) :- #0.482.
link(95,88) :- #0.657.
link(88,107) :- #0.1.
link(107,88) :- #0.229.
link(88,108) :- #0.377.
link(108,88) :- #0.06.
link(88,113) :- #0.468.
link(113,88) :- #0.578.
link(88,125) :- #0.724.
link(125,88) :- #0.399.
link(88,135) :- #0.724.
link(135,88) :- #0.829.
link(89,92) :- #0.24.
link(92,89) :- #0.07.
link(89,94) :- #0.991.
link(94,89) :- #0.581.
link(89,98) :- #0.915.
link(98,89) :- #0.829.
link(89,102) :- #0.822.
link(102,89) :- #0.12.
link(89,106) :- #0.352.
link(106,89) :- #0.24.
link(89,138) :- #0.857.
link(138,89) :- #0.439.
link(90,114) :- #0.98.
link(114,90) :- #0.176.
link(90,117) :- #0.076.
link(117,90) :- #0.063.
link(90,121) :- #0.845.
link(121,90) :- #0.427.
link(90,124) :- #0.748.
link(124,90) :- #0.203.
link(90,128) :- #0.37.
link(128,90) :- #0.77.
link(90,133) :- #0.495.
link(133,90) :- #0.384.
link(90,137) :- #0.641.
link(137,90) :- #0.004.
link(90,140) :- #0.794.
link(140,90) :- #0.384.
link(91,92) :- #0.243.
link(92,91) :- #0.454.
link(91,99) :- #0.673.
link(99,91) :- #0.418.
link(91,111) :- #0.575.
link(111,91) :- #0.398.
link(91,119) :- #0.878.
link(119,91) :- #0.69.
link(91,120) :- #0.51.
link(120,91) :- #0.624.
link(91,121) :- #0.6.
link(121,91) :- #0.989.
link(91,132) :- #0.905.
link(132,91) :- #0.229.
link(92,96) :- #0.055.
link(96,92) :- #0.201.
link(92,102) :- #0.259.
link(102,92) :- #0.493.
link(92,107) :- #0.211.
link(107,92) :- #0.743.
link(92,117) :- #0.79.
link(117,92) :- #0.714.
link(92,127) :- #0.575.
link(127,92) :- #0.78.
link(92,130) :- #0.816.
link(130,92) :- #0.93.
link(93,108) :- #0.618.
link(108,93) :- #0.999.
link(93,115) :- #0.923.
link(115,93) :- #0.07.
link(93,121) :- #0.704.
link(121,93) :- #0.056.
link(93,126) :- #0.387.
link(126,93) :- #0.786.
link(93,131) :- #0.903.
link(131,93) :- #0.832.
link(94,97) :- #0.47.
link(97,94) :- #0.981.
link(94,114) :- #0.915.
link(114,94) :- #0.343.
link(94,135) :- #0.75.
link(135,94) :- #0.979.
link(95,103) :- #0.403.
link(103,95) :- #0.81.
link(95,104) :- #0.864.
link(104,95) :- #0.776.
link(95,111) :- #0.057.
link(111,95) :- #0.46.
link(95,136) :- #0.993.
link(136,95) :- #0.721.
link(96,98) :- #0.659.
link(98,96) :- #0.528.
link(96,109) :- #0.83.
link(109,96) :- #0.895.
link(96,110) :- #0.78.
link(110,96) :- #0.548.
link(96,123) :- #0.62.
link(123,96) :- #0.195.
link(96,140) :- #0.606.
link(140,96) :- #0.844.
link(97,104) :- #0.183.
link(104,97) :- #0.363.
link(97,106) :- #0.847.
link(106,97) :- #0.603.
link(97,115) :- #0.687.
link(115,97) :- #0.656.
link(97,118) :- #0.089.
link(118,97) :- #0.509.
link(97,125) :- #0.6.
link(125,97) :- #0.466.
link(97,129) :- #0.947.
link(129,97) :- #0.644.
link(98,99) :- #0.76.
link(99,98) :- #0.413.
link(98,109) :- #0.525.
link(109,98) :- #0.708.
link(98,131) :- #0.55.
link(131,98) :- #0.539.
link(98,132) :- #0.306.
link(132,98) :- #0.138.
link(99,112) :- #0.661.
link(112,99) :- #0.411.
link(99,139) :- #0.365.
link(139,99) :- #0.879.
link(100,104) :- #0.022.
link(104,100) :- #0.813.
link(100,120) :- #0.655.
link(120,100) :- #0.558.
link(100,122) :- #0.891.
link(122,100) :- #0.129.
link(100,128) :- #0.035.
link(128,100) :- #0.06.
link(101,140) :- #0.498.
link(140,101) :- #0.552.
link(102,116) :- #0.125.
link(116,102) :- #0.706.
link(102,136) :- #0.603.
link(136,102) :- #0.374.
link(103,104) :- #0.195.
link(104,103) :- #0.939.
link(103,111) :- #0.879.
link(111,103) :- #0.294.
link(103,126) :- #0.246.
link(126,103) :- #0.754.
link(103,132) :- #0.769.
link(132,103) :- #0.086.
link(104,108) :- #0.491.
link(108,104) :- #0.699.
link(104,110) :- #0.71.
link(110,104) :- #0.872.
link(104,114) :- #0.481.
link(114,104) :- #0.792.
link(104,137) :- #0.924.
link(137,104) :- #0.707.
link(104,139) :- #0.441.
link(139,104) :- #0.78.
link(104,140) :- #0.087.
link(140,104) :- #0.025.
link(105,110) :- #0.707.
link(110,105) :- #0.031.
link(105,112) :- #0.498.
link(112,105) :- #0.778.
link(105,138) :- #0.749.
link(138,105) :- #0.624.
link(106,109) :- #0.122.
link(109,106) :- #0.856.
link(106,112) :- #0.607.
link(112,106) :- #0.713.
link(106,113) :- #0.297.
link(113,106) :- #0.373.
link(106,119) :- #0.135.
link(119,106) :- #0.566.
link(106,128) :- #0.663.
link(128,106) :- #0.05.
link(106,138) :- #0.195.
link(138,106) :- #0.22.
link(107,125) :- #0.101.
link(125,107) :- #0.74.
link(107,132) :- #0.693.
link(132,107) :- #0.072.
link(107,137) :- #0.272.
link(137,107) :- #0.818.
link(108,112) :- #0.611.
link(112,108) :- #0.813.
link(108,117) :- #0.74.
link(117,108) :- #0.95.
link(108,126) :- #0.937.
link(126,108) :- #0.635.
link(108,134) :- #0.123.
link(134,108) :- #0.722.
link(109,117) :- #0.873.
link(117,109) :- #0.955.
link(110,113) :- #0.231.
link(113,110) :- #0.703.
link(110,118) :- #0.925.
link(118,110) :- #0.783.
link(110,137) :- #0.564.
link(137,110) :- #0.16.
link(111,125) :- #0.48.
link(125,111) :- #0.173.
link(111,138) :- #0.728.
link(138,111) :- #0.466.
link(111,140) :- #0.28.
link(140,111) :- #0.805.
link(112,125) :- #0.595.
link(125,112) :- #0.06.
link(112,132) :- #0.651.
link(132,112) :- #0.97.
link(112,140) :- #0.124.
link(140,112) :- #0.968.
link(113,129) :- #0.505.
link(129,113) :- #0.002.
link(113,136) :- #0.375.
link(136,113) :- #0.471.
link(113,137) :- #0.505.
link(137,113) :- #0.413.
link(114,124) :- #0.076.
link(124,114) :- #0.717.
link(115,116) :- #0.73.
link(116,115) :- #0.509.
link(115,122) :- #0.216.
link(122,115) :- #0.133.
link(115,129) :- #0.653.
link(129,115) :- #0.602.
link(115,130) :- #0.161.
link(130,115) :- #0.598.
link(115,132) :- #0.879.
link(132,115) :- #0.966.
link(116,123) :- #0.186.
link(123,116) :- #0.76.
link(116,130) :- #0.562.
link(130,116) :- #0.396.
link(116,131) :- #0.586.
link(131,116) :- #0.796.
link(116,132) :- #0.344.
link(132,116) :- #0.638.
link(116,136) :- #0.6.
link(136,116) :- #0.745.
link(117,123) :- #0.488.
link(123,117) :- #0.462.
link(117,124) :- #0.653.
link(124,117) :- #0.282.
link(117,139) :- #0.405.
link(139,117) :- #0.883.
link(117,140) :- #0.157.
link(140,117) :- #0.226.
link(118,121) :- #0.97.
link(121,118) :- #0.896.
link(119,125) :- #0.686.
link(125,119) :- #0.808.
link(119,129) :- #0.019.
link(129,119) :- #0.221.
link(119,132) :- #0.44.
link(132,119) :- #0.956.
link(120,125) :- #0.679.
link(125,120) :- #0.439.
link(120,134) :- #0.714.
link(134,120) :- #0.951.
link(121,128) :- #0.106.
link(128,121) :- #0.661.
link(122,129) :- #0.82.
link(129,122) :- #0.234.
link(123,134) :- #0.867.
link(134,123) :- #0.559.
link(124,127) :- #0.557.
link(127,124) :- #0.983.
link(124,129) :- #0.126.
link(129,124) :- #0.323.
link(125,127) :- #0.526.
link(127,125) :- #0.234.
link(125,128) :- #0.803.
link(128,125) :- #0.5.
link(127,138) :- #0.32.
link(138,127) :- #0.514.
link(128,133) :- #0.563.
link(133,128) :- #0.88.
link(128,138) :- #0.824.
link(138,128) :- #0.4.
link(129,133) :- #0.337.
link(133,129) :- #0.711.
link(130,139) :- #0.484.
link(139,130) :- #0.675.
link(132,135) :- #0.936.
link(135,132) :- #0.784.
link(133,140) :- #0.757.
link(140,133) :- #0.268.
link(135,138) :- #0.2.
link(138,135) :- #0.965.
link(135,140) :- #0.95.
link(140,135) :- #0.294.
link(136,139) :- #0.063.
link(139,136) :- #0.773.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
